Publications of
Camille Fayollas, Jean-Charles Fabre, Philippe Palanque, Eric Barboni, David Navarre, Yannick Deleris
Interactive Cockpits as Critical Applications: a Model-Based and a Fault-Tolerant Approach
In : International Journal of Critical Computer-Based Systems, Inderscience Publishers, Special issue Special Issue on Fault-Tolerant Computer Systems, Vol. 4 N. 3, pp. 202-226, 2013.
URL : http://www.inderscience.com/info/inarticle.php?artid=58407
BibTeX
Camille Fayollas, Jean-Charles Fabre, David Navarre, Philippe Palanque, Yannick Deleris
Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach (regular paper)
In : Software Engineering for Resilient Systems (SERENE 2012), Pisa, Italy, 27/09/12-28/09/12, Paris Avgeriou (Eds.), Springer-Verlag, pp. 32-46, September 2012.
URL : http://link.springer.com/chapter/10.1007/978-3-642-33176-3_3
BibTeXAdrienne Tankeu Choitat, David Navarre, Philippe Palanque, Yannick Deleris, Jean-Charles Fabre, Camille Fayollas
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques (regular paper)
In : Pacific Rim International Symposium on Dependable Computing (PRDC 2011), Pasadena, California, USA, 12/12/11-14/12/11, IEEE : Institute of Electrical and Electronics Engineers, pp. 164-173, 2011.
URL : http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=6133078&queryText%3Dtankeu
BibTeXAdrienne Tankeu Choitat, Jean-Charles Fabre, Philippe Palanque, David Navarre, Yannick Deleris
Self-Checking Widgets for Interactive Cockpits (regular paper)
In : European Workshop on Dependable Computing, Pisa, 05/05/11-07/05/11, ACM Digital Library, pp. 34-42, 2011.